A Formal Composition and Interaction Model for a Web Component Platform
نویسندگان
چکیده
منابع مشابه
A Formal Composition and Interaction Model for a Web Component Platform
A framework for components on the Web needs a formal model that captures essen tial concepts such as contractual information and service matching We propose a typed calculus based model for Web components that formalises an extension of the currently discussed Web Services framework We address in particular activities in the stages of a component life cycle such as matching commitment connectio...
متن کاملA Formal Model for Software Component Interaction and Behavioural Interoperability
Interface Definition Languages (IDLs) such as CORBA IDL/CIDL lack mechanisms for capturing semantic aspects of software components, such as their interaction protocols. This often poses significant problems for ensuring the behavioural interoperability between components in designing component-based systems. This situation is even more complicated where third-party components are involved. Our ...
متن کاملA Formal Model for Semantic Web Service Composition
Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges in the semantic Web service research area. Semantics is one of the key elements for the automated composition of Web services because such a process requires rich machine-understandable descriptions of services that can be shared. Semantics enables Web service to ...
متن کاملA Formal Model for Abstracting the Interaction of Web Services
This paper addresses the problems of modeling the interaction of Web services when they are composed together. Many subtle errors such as message not received and deadlock may occur due to uncontrolled concurrency of Web services. A model called IMWSC (Interaction Module for Web Service Composition, IMWSC for short) is proposed. The proposed model is used to abstract and analyze the interaction...
متن کاملFormal Verification of a Component Platform
The function of software used to be calculation; mechanising what was previously done by hand. Now it runs our communication networks, mass transportation and medical support. Yet we still build large software systems as if they were small, easily comprehensible tools. The right to manage our safety and security should not be handed over lightly. When a program has the ability to compromise our...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80450-x